package ar.edu.caece.pl.asin.model.impl;

import ar.edu.caece.pl.alex.model.IToken;
import ar.edu.caece.pl.alex.model.impl.Token;
import ar.edu.caece.pl.asin.manager.IAnalizadorSintactico;
import ar.edu.caece.pl.asin.manager.impl.AbstractAnalizadorSintactico;
import ar.edu.caece.pl.asin.model.ITokenStream;

public class Expresion extends AbstractAnalizadorSintactico implements IAnalizadorSintactico {
	
	/* INICIALIZACION */	
	public Expresion ( ITokenStream ts ) {
		super(ts, false);
	}
	public Expresion ( ITokenStream ts, boolean debugMode ) {
		super(ts,debugMode);
	}
	
	
	/** 
	 * Devuelve true si reconoce una expresion
	 */
	public boolean reconocer () {

		boolean recognized = true; //(asumimos correctitud hasta demostrar lo contrario)
		
		//----------------------------------------------
		//Agrego info de debug de la produccion
		em.debug( "Reconocer Expresion:");		//TODO pasarlo a accion semantica
		//----------------------------------------------
		
		/* <EXP>  ->  <TERMINO> <E'> |
				      TONATURAL ( <EXP> ) <E'> |
				      TOINTEGER ( <EXP> ) <E'> */

		if ( Termino.primeros(this.getTokenSiguiente()) ) {
			
			//<EXP> -> <TERMINO> <E'>
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<EXP> -> <TERMINO> <E'>", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer Termino
			IAnalizadorSintactico termino = new Termino(this.tokenStream,this.debugMode);
			recognized &= termino.reconocer();
			
			// Reconocer E'
			IAnalizadorSintactico e1 = new E1(this.tokenStream,this.debugMode);
			recognized &= e1.reconocer();
			
		} else if ( this.getTokenSiguiente().equals( new Token(IToken.PALABRA_RESERVADA_TONATURAL) ) ||
				this.getTokenSiguiente().equals( new Token(IToken.PALABRA_RESERVADA_TOINTEGER) )) {

			//<EXP> -> TONATURAL ( <TERMINO> ) <E'> | TOINTEGER ( <TERMINO> ) <E'>
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<EXP> -> "+ this.getTokenSiguiente().getTokenText() +" ( <EXP> ) <E'>", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer ToNatural o ToInteger
			if ( !this.reconocerToken(this.getTokenSiguiente().getTokenText()) ) {
				//El reconocerToken() habria adelantado el tokenStream hasta salir de esta iteracion,
				//entonces no hay que seguir buscando sino salir
				return false;
			}
			
			if ( !this.reconocerToken(IToken.TYPE_PARENTESIS_IZQ) ) {
				return false;
			}
			
			// Reconocer Expresion
			IAnalizadorSintactico expresion = new Expresion(this.tokenStream,this.debugMode);
			recognized &= expresion.reconocer();
			
			if ( !this.reconocerToken(IToken.TYPE_PARENTESIS_DER) ) {
				return false;
			}
			
			// Reconocer E'
			IAnalizadorSintactico e1 = new E1(this.tokenStream,this.debugMode);
			recognized &= e1.reconocer();

		} else {
			
			//No deberia darse el caso, pero si se llama a reconocer() en un estado incorrecto deberia salir por aqui
			em.error("Se esperaba un termino", this.getTokenSiguiente());
			
			//Tratamiento de errores
			em.recover(this.getClass(), this.tokenStream);
			return false;
		}
		return recognized;
	}
	

	public static boolean primeros(IToken token) {
		// Primeros: TONATURAL, TOINTEGER, ( , IDENTIFICADOR, NUMERO, NUMERO_NAT
		return  token.equals( new Token(IToken.PALABRA_RESERVADA_TONATURAL) ) ||
				token.equals( new Token(IToken.PALABRA_RESERVADA_TOINTEGER) ) ||
				Termino.primeros(token);
	}
}
